More from this Author

Computer Aided Verification

by Isil Dillig (Editor), Serdar Tasiran (Editor)

Computer Aided Verification

by Isil Dillig (Editor), Serdar Tasiran (Editor)

Verification, Model Checking, and Abstract Interpretation

by Isil Dillig (Editor), Jens Palsberg (Editor)